$\forall$$w$:World. $w$.M $\in$ IdLnk$\rightarrow$Id$\rightarrow$Type